%%UH

基本的な考え方」 ←%%H 「%」でコメントアウトして下さい

is_concluded(contract):-
    become_effective(acceptance(offer)).
        
become_effective(offer):-
    	reach(offer),
        \+(become_effective(withdrawl（offer）).

become_effective(withdrawl(offer)):-
        reach(withdrawl(offer)),
        \+((reach(offer),before(T1,T2))).

before(T1,T2):-
    T1@<T2.

become_effective(acceptance):-
    	reach(acceptance),
        become_effective(offer).


「以下、これを事例３ｃについて適用すると・・・」 ←%%H 「%」でコメントアウトして下さい

%%H 次のようにした方がよい
% 「以下、これを事例３ｃについて適用できるようにすると・・・」

%23
is_concluded(contract(A,B,C),T):-
    become_effective(acceptance(B,A,offer(A,B,C)),T).
        
%15(1)
become_effective(offer(A,B,C),T1):-
    	reach(offer(A,B,C),B,T1),
        \+(become_effective(withdrawl(A,B,offer(A,B,C)),T2)).

%%H 上の式で撤回の効力発生を申込の効力発生の障害要件であることが表現できました。
%%H 撤回が効力発生して申込が効力発生しないとき、契約の不成立に導くルールが必要ではないでしょうか？

%15(2)
become_effective(withdrawl(A,B,offer(A,B,C)),T2):-
        reach(withdrawl(A,B,offer(A,B,C)),B,T2),
        \+((reach(offer(A,B,C),B,T1),before(T1,T2))).

before(T1,T2):-
    T1@<T2.

%18(2)
become_effective(acceptance(B,A,D),T):-
    reach(acceptance(B,A,D),A,T),
        become_effective(offer(A,B,C),T1).
                                                       となる。